home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / isis / tchrprtn < prev    next >
Text File  |  1980-01-05  |  2KB  |  53 lines
  1. Path: sranha!wnoc-tyo-news!ccut!sun-barr!lll-winken!sol.ctr.columbia.edu!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!usenet
  2. From: aleta@cs.cornell.edu (Aleta Ricciardi)
  3. Newsgroups: comp.archives
  4. Subject: [comp.sys.isis] Tech Report Announcement
  5. Message-ID: <1991Oct12.105501.9082@agate.berkeley.edu>
  6. Date: 12 Oct 91 10:55:01 GMT
  7. References: <1991Oct9.152937.16896@cs.cornell.edu>
  8. Sender: usenet@agate.berkeley.edu (USENET Administrator)
  9. Followup-To: comp.sys.isis
  10. Organization: Cornell University, CS Dept., Ithaca, NY
  11. Lines: 37
  12. Approved: adam@soda.berkeley.edu
  13. X-Original-Date: 9 Oct 91 15: 29:37 GMT
  14. X-Original-Newsgroups: comp.sys.isis
  15.  
  16. Archive-name: auto/comp.sys.isis/Tech-Report-Announcement
  17.  
  18.  
  19.         Practical Utility of Knowledge-Based Analyses :
  20.      Optimizations and Optimality for an Implementation of
  21.                Asynchronous, Fail-Stop Processes 
  22.                     (Extended Abstract) 
  23.   
  24.  
  25. Cornell TR91-1233 is available by anonymous ftp to ftp.cs.cornell.edu
  26. (pub/TR91-1233.ps.Z).  This builds on, but does not assume knowledge of, 
  27. the Failure Detection facility, described in pub/TR91-1188.ps.Z
  28.   
  29. An abstract follows :
  30.  
  31. =============
  32.  
  33.      The _Group_Membership_Problem_ is concerned with propagating changes
  34. in the membership of a group of processes to the members of that group. 
  35. A restricted version of this problem allows one to implement a fail-stop
  36. failure model of processes in an asynchronous environment assuming a crash
  37. failure model.  While the Isis Toolkit relies on this for its Failure
  38. Detector, the current specification of GMP sheds no light on how to
  39. implement it.  We present a knowledge-based formulation, cast as a
  40. commit-style problem, that is not only easier to understand, but also makes
  41. clear where optimizations to the Isis implementation are and are not
  42. possible.  In addition, the epistemic formulation allows us to use the
  43. elegant results of knowledge-acquisition theory to discover a lower bound
  44. on the required number of messages,construct a minimal protocol, and
  45. discuss the tradeoffs between the message-minimal protocol and the
  46. optimized Isis implementation.  
  47.  
  48. ==============
  49.  
  50. Enjoy -
  51.  
  52. aleta@cs.cornell.edu
  53.